منابع مشابه
Eliminating "Converse" from Converse PDL
In this paper we show that it is possible to eliminate the converse operator from the propositional dynamic logic CPDL Converse PDL without compromising the soundness and completeness of inference for it Speci cally we present an encoding of CPDL formulae into PDL that eliminates the converse programs from a CPDL formula but adds enough information so as not to destroy its original meaning with...
متن کاملWeil Converse Theorem
Hecke generalized this equivalence, showing that an integral form has an associated Dirichlet series which can be analytically continued to C and satisfies a functional equation. Conversely, Weil showed that, if a Dirichlet series satisfies certain functional equations, then it must be associated to some integral form. Our goal in this paper is to describe this work. In the first three sections...
متن کاملConverse Second Whitehead Lemma
We show that finite-dimensional Lie algebras over a field of characteristic zero such that the second cohomology group in every finite-dimensional module vanishes, are, essentially, semisimple.
متن کاملConverse PUF-Based Authentication
Physically Unclonable Functions (PUFs) are key tools in the construction of lightweight authentication and key exchange protocols. So far, all existing PUF-based authentication protocols follow the same paradigm: A resource-constrained prover, holding a PUF, wants to authenticate to a resource-rich verifier, who has access to a database of pre-measured PUF challenge-response pairs (CRPs). In th...
متن کاملKleene Algebra with Converse
The equational theory generated by all algebras of binary relations with operations of union, composition, converse and reflexive transitive closure was studied by Bernátsky, Bloom, Ésik, and Stefanescu in 1995. We reformulate some of their proofs in syntactic and elementary terms, and we provide a new algorithm to decide the corresponding theory. This algorithm is both simpler and more efficie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 2008
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.6542